MOLOG - определение. Что такое MOLOG
DICLIB.COM
Языковые инструменты на ИИ
Введите слово или словосочетание на любом языке 👆
Язык:     

Перевод и анализ слов искусственным интеллектом

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое MOLOG - определение


MOLOG         
MOLOGLuis Fariñas del Cerro, MOLOG A system that extends PROLOG with modal logic, New Generation Computing, 4:35-50, 1986Luis Farinas Del Cerro et Marti Penttonen, a note on the complexity of the satisfiability of moal Horn clauses, The journal of logic programming, volume 4, issue 1, mars 1987 Philippe Balbiani, Luis Farinas Del Cerro et Andreas Herzig, Declarative semantics for Modal Logic Programming, Fifth Generation Computer Systems'88est une généralisation du langage Prolog permettant d'étendre le paradigme de la Programmation logique à la logique non classique et en particulier à la logique modale, la logique aléthique ou la logique temporelle. Le nom MOLOG est un acronyme de MOdal LOGic et également une référence à l'acronyme PROLOG, PROgrammation